Simple PV Performance Equations Theoretically Well Founded on the Single-Diode Model

Two Simple Characterizations of Well-Founded Semantics

Outdoor Pv Performance Evaluation of Three Different Models: Single-diode, Sapm and Loss Factor Model

This study examines the accuracy and value of three different PV module performance modeling approaches by calibrating selected performance models to outdoor IV data measured on different module technologies. We compare measured and modeled IV characteristics by examining the error distributions and correlations with time varying quantities to assess the accuracy of each model for the modules t...

A Tutorial on the Well-Founded Semantics

The well-founded semantics for \normal" logic programs is described using the alternating xpoint construction as the basis. The presentation is informal. The semantics is motivated and illustrated through examples, and is compared brie y with earlier semantics for negation. Extensions to other forms of logic program are mentioned brie y. Recent work on practical implementations and applications...

On the Union of Well-Founded Relations

We give a criterion for the union of well-founded (i.e., noetherian) relations to be well-founded, generalizing results of Geser and of Bachmair-Dershowitz. The proof is written in a calculational style and is conducted entirely in regular algebra.

Efficient Approximation of Well-Founded Justification and Well-Founded Domination

Many native ASP solvers exploit unfounded sets to compute consequences of a logic program via some form of well-founded negation, but disregard its contrapositive, well-founded justification (WFJ), due to computational cost. However, we demonstrate that this can hinder propagation of many relevant conditions such as reachability. In order to perform WFJ with low computational cost, we devise a ...